extension | φ:Q→Out N | d | ρ | Label | ID |
(D4xC32):1C4 = C3:S3.5D8 | φ: C4/C1 → C4 ⊆ Out D4xC32 | 24 | 8+ | (D4xC3^2):1C4 | 288,430 |
(D4xC32):2C4 = C32:6C4wrC2 | φ: C4/C1 → C4 ⊆ Out D4xC32 | 48 | 8- | (D4xC3^2):2C4 | 288,431 |
(D4xC32):3C4 = D4xC32:C4 | φ: C4/C1 → C4 ⊆ Out D4xC32 | 24 | 8+ | (D4xC3^2):3C4 | 288,936 |
(D4xC32):4C4 = C3xD4:Dic3 | φ: C4/C2 → C2 ⊆ Out D4xC32 | 48 | | (D4xC3^2):4C4 | 288,266 |
(D4xC32):5C4 = C3xQ8:3Dic3 | φ: C4/C2 → C2 ⊆ Out D4xC32 | 48 | 4 | (D4xC3^2):5C4 | 288,271 |
(D4xC32):6C4 = C62.116D4 | φ: C4/C2 → C2 ⊆ Out D4xC32 | 144 | | (D4xC3^2):6C4 | 288,307 |
(D4xC32):7C4 = C62.39D4 | φ: C4/C2 → C2 ⊆ Out D4xC32 | 72 | | (D4xC3^2):7C4 | 288,312 |
(D4xC32):8C4 = C3xD4xDic3 | φ: C4/C2 → C2 ⊆ Out D4xC32 | 48 | | (D4xC3^2):8C4 | 288,705 |
(D4xC32):9C4 = D4xC3:Dic3 | φ: C4/C2 → C2 ⊆ Out D4xC32 | 144 | | (D4xC3^2):9C4 | 288,791 |
(D4xC32):10C4 = C32xD4:C4 | φ: C4/C2 → C2 ⊆ Out D4xC32 | 144 | | (D4xC3^2):10C4 | 288,320 |
(D4xC32):11C4 = C32xC4wrC2 | φ: C4/C2 → C2 ⊆ Out D4xC32 | 72 | | (D4xC3^2):11C4 | 288,322 |